-
1 recursive ultrafilter
Большой англо-русский и русско-английский словарь > recursive ultrafilter
-
2 recursive ultrafilter
Математика: рекуррентный ультрафильтр -
3 recursive ultrafilter
English-Russian scientific dictionary > recursive ultrafilter
-
4 ultrafilter
ультрафильтр, сверхфильтр canonical generic ultrafilter ≈ канонический генерический ультрафильтр countably complete ultrafilter ≈ счетно полный ультрафильтр countably incomplete ultrafilter ≈ счетно неполный ультрафильтр uniformly selective ultrafilter ≈ равномерно селективный ультрафильтр weakly regular ultrafilter ≈ слабо регулярный ультрафильтр - complete ultrafilter - fixed ultrafilter - free ultrafilter - good ultrafilter - limit ultrafilter - minimal ultrafilter - nonprincipal ultrafilter - normal ultrafilter - quasinormal ultrafilter - recursive ultrafilter - regular ultrafilter - selective ultrafilter - trivial ultrafilter - ultrafilter topology - uniform ultrafilterБольшой англо-русский и русско-английский словарь > ultrafilter
-
5 ultrafilter
ультрафильтр, сверхфильтр -
6 рекуррентный ультрафильтр
Большой англо-русский и русско-английский словарь > рекуррентный ультрафильтр
См. также в других словарях:
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Gödel's completeness theorem — is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first order logic. It was first proved by Kurt Gödel in 1929. A first order formula is called logically valid if… … Wikipedia
Boolean algebras canonically defined — Boolean algebras have been formally defined variously as a kind of lattice and as a kind of ring. This article presents them more neutrally but equally formally as simply the models of the equational theory of two values, and observes the… … Wikipedia
Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
List of mathematical proofs — A list of articles with mathematical proofs:Theorems of which articles are primarily devoted to proving them: See also: *Bertrand s postulate and a proof *Estimation of covariance matrices *Fermat s little theorem and some proofs *Gödel s… … Wikipedia
Topological game — A topological game is an infinite positional game of perfect information played between two players on a topological space. Players choose objects with topological properties such as points, open sets, closed sets and open coverings. Time is… … Wikipedia
Nakamura number — In cooperative game theory and social choice theory, the Nakamura number measures the degree of rationality of preference aggregation rules (collective decision rules), such as voting rules. It is an indicator of the extent to which an… … Wikipedia